3.11.5 \(\int \frac {1}{(a+b x)^2 (\frac {a d}{b}+d x)^3} \, dx\) [1005]

Optimal. Leaf size=17 \[ -\frac {b^2}{4 d^3 (a+b x)^4} \]

[Out]

-1/4*b^2/d^3/(b*x+a)^4

________________________________________________________________________________________

Rubi [A]
time = 0.00, antiderivative size = 17, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.100, Rules used = {21, 32} \begin {gather*} -\frac {b^2}{4 d^3 (a+b x)^4} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[1/((a + b*x)^2*((a*d)/b + d*x)^3),x]

[Out]

-1/4*b^2/(d^3*(a + b*x)^4)

Rule 21

Int[(u_.)*((a_) + (b_.)*(v_))^(m_.)*((c_) + (d_.)*(v_))^(n_.), x_Symbol] :> Dist[(b/d)^m, Int[u*(c + d*v)^(m +
n), x], x] /; FreeQ[{a, b, c, d, n}, x] && EqQ[b*c - a*d, 0] && IntegerQ[m] && ( !IntegerQ[n] || SimplerQ[c +
d*x, a + b*x])

Rule 32

Int[((a_.) + (b_.)*(x_))^(m_), x_Symbol] :> Simp[(a + b*x)^(m + 1)/(b*(m + 1)), x] /; FreeQ[{a, b, m}, x] && N
eQ[m, -1]

Rubi steps

\begin {align*} \int \frac {1}{(a+b x)^2 \left (\frac {a d}{b}+d x\right )^3} \, dx &=\frac {b^3 \int \frac {1}{(a+b x)^5} \, dx}{d^3}\\ &=-\frac {b^2}{4 d^3 (a+b x)^4}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.00, size = 17, normalized size = 1.00 \begin {gather*} -\frac {b^2}{4 d^3 (a+b x)^4} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[1/((a + b*x)^2*((a*d)/b + d*x)^3),x]

[Out]

-1/4*b^2/(d^3*(a + b*x)^4)

________________________________________________________________________________________

Mathics [B] Leaf count is larger than twice the leaf count of optimal. \(50\) vs. \(2(17)=34\).
time = 2.07, size = 48, normalized size = 2.82 \begin {gather*} -\frac {b^2}{4 d^3 \left (a^4+4 a^3 b x+6 a^2 b^2 x^2+4 a b^3 x^3+b^4 x^4\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

mathics('Integrate[1/((a + b*x)^2*(a*d/b + d*x)^3),x]')

[Out]

-b ^ 2 / (4 d ^ 3 (a ^ 4 + 4 a ^ 3 b x + 6 a ^ 2 b ^ 2 x ^ 2 + 4 a b ^ 3 x ^ 3 + b ^ 4 x ^ 4))

________________________________________________________________________________________

Maple [A]
time = 0.14, size = 16, normalized size = 0.94

method	result	size
gosper	\(-\frac {b^{2}}{4 d^{3} \left (b x +a \right )^{4}}\)	\(16\)
default	\(-\frac {b^{2}}{4 d^{3} \left (b x +a \right )^{4}}\)	\(16\)
norman	\(-\frac {b^{2}}{4 d^{3} \left (b x +a \right )^{4}}\)	\(16\)
risch	\(-\frac {b^{2}}{4 d^{3} \left (b x +a \right )^{4}}\)	\(16\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(b*x+a)^2/(a*d/b+d*x)^3,x,method=_RETURNVERBOSE)

[Out]

-1/4*b^2/d^3/(b*x+a)^4

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 61 vs. \(2 (15) = 30\).
time = 0.25, size = 61, normalized size = 3.59 \begin {gather*} -\frac {b^{2}}{4 \, {\left (b^{4} d^{3} x^{4} + 4 \, a b^{3} d^{3} x^{3} + 6 \, a^{2} b^{2} d^{3} x^{2} + 4 \, a^{3} b d^{3} x + a^{4} d^{3}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^2/(a*d/b+d*x)^3,x, algorithm="maxima")

[Out]

-1/4*b^2/(b^4*d^3*x^4 + 4*a*b^3*d^3*x^3 + 6*a^2*b^2*d^3*x^2 + 4*a^3*b*d^3*x + a^4*d^3)

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 61 vs. \(2 (15) = 30\).
time = 0.29, size = 61, normalized size = 3.59 \begin {gather*} -\frac {b^{2}}{4 \, {\left (b^{4} d^{3} x^{4} + 4 \, a b^{3} d^{3} x^{3} + 6 \, a^{2} b^{2} d^{3} x^{2} + 4 \, a^{3} b d^{3} x + a^{4} d^{3}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^2/(a*d/b+d*x)^3,x, algorithm="fricas")

[Out]

-1/4*b^2/(b^4*d^3*x^4 + 4*a*b^3*d^3*x^3 + 6*a^2*b^2*d^3*x^2 + 4*a^3*b*d^3*x + a^4*d^3)

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 68 vs. \(2 (15) = 30\).
time = 0.17, size = 68, normalized size = 4.00 \begin {gather*} - \frac {b^{3}}{4 a^{4} b d^{3} + 16 a^{3} b^{2} d^{3} x + 24 a^{2} b^{3} d^{3} x^{2} + 16 a b^{4} d^{3} x^{3} + 4 b^{5} d^{3} x^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)**2/(a*d/b+d*x)**3,x)

[Out]

-b**3/(4*a**4*b*d**3 + 16*a**3*b**2*d**3*x + 24*a**2*b**3*d**3*x**2 + 16*a*b**4*d**3*x**3 + 4*b**5*d**3*x**4)

________________________________________________________________________________________

Giac [A]
time = 0.00, size = 18, normalized size = 1.06 \begin {gather*} -\frac {b^{2}}{4 d^{3} \left (x b+a\right )^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^2/(a*d/b+d*x)^3,x)

[Out]

-1/4*b^2/((b*x + a)^4*d^3)

________________________________________________________________________________________

Mupad [B]
time = 0.06, size = 63, normalized size = 3.71 \begin {gather*} -\frac {b^2}{4\,\left (a^4\,d^3+4\,a^3\,b\,d^3\,x+6\,a^2\,b^2\,d^3\,x^2+4\,a\,b^3\,d^3\,x^3+b^4\,d^3\,x^4\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/((d*x + (a*d)/b)^3*(a + b*x)^2),x)

[Out]

-b^2/(4*(a^4*d^3 + b^4*d^3*x^4 + 4*a*b^3*d^3*x^3 + 6*a^2*b^2*d^3*x^2 + 4*a^3*b*d^3*x))

________________________________________________________________________________________